Non-implicazione inversa

Nella logica, la non-implicazione inversa[1] è un connettivo logico che è la negazione dell'implicazione inversa (o, equivalentemente, la negazione dell'inverso dell'implicazione).

  1. ^ Lehtonen, Eero, e Poikonen, J.H.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search